大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Computer Arithmetic 15th Asilomar July 的图书(共3099本)

Web-Age Information Management [electronic resource] : 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010. Proceedings

0
索取号:
作者:Chen、 Lei.、Tang、 Changjie.、Yang、 Jun.、Gao、 Yunjun.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 7th International Conference, DIMVA 2010, Bonn, Germany, July 8-9, 2010. Proceedings

0
索取号:
作者:Kreibich、 Christian.、Jahnke、 Marko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automated Reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

0
索取号:
作者:Giesl、 J眉rgen.、H盲hnle、 Reiner.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Conceptual Structures: From Information to Intelligence [electronic resource] : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings

0
索取号:
作者:Croitoru、 Madalina.、Ferr茅、 S茅bastien.、Lukose、 Dickson.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Theory and Applications of Satisfiability Testing-SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

0
索取号:
作者:Strichman、 Ofer.、Szeider、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

0
索取号:
作者:Governatori、 Guido.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

0
索取号:
作者:Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

0
索取号:
作者:Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

0
索取号:
作者:Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computers Helping People with Special Needs [electronic resource] : 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings

0
索取号:
作者:Miesenberger、 Klaus.、Klaus、 Joachim.、Zagler、 Wolfgang.、Karshmer、 Arthur.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Security and Privacy [electronic resource] : 15th Australasian Conference, ACISP 2010, Sydney, Australia, July 5-7, 2010. Proceedings

0
索取号:
作者:Steinfeld、 Ron.、Hawkes、 Philip.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Haptics: Generating and Perceiving Tangible Sensations [electronic resource] : International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings

0
索取号:
作者:Kappers、 Astrid M. L.、Erp、 Jan B. F.、Bergmann Tiest、 Wouter M.、Helm、 Frans C. T.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Haptics: Generating and Perceiving Tangible Sensations [electronic resource] : International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I

0
索取号:
作者:Kappers、 Astrid M. L.、Erp、 Jan B. F.、Bergmann Tiest、 Wouter M.、Helm、 Frans C. T.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Articulated Motion and Deformable Objects [electronic resource] : 6th International Conference, AMDO 2010, Port d鈥橝ndratx, Mallorca, Spain, July 7-9, 2010. Proceedings

0
索取号:
作者:Perales、 Francisco J.、Fisher、 Robert B.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

0
索取号:
作者:Kaufmann、 Matt.、Paulson、 Lawrence C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence for Knowledge-Based Systems Design [electronic resource] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings

0
索取号:
作者:H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类